381. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
382. Iteration theories : the equational logic of iterative processes
پدیدآورنده : Bloom, Stephen L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
I56
1993
383. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
384. Kurt Gödel and the foundations of mathematics :
پدیدآورنده : edited by Matthias Baaz ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Mathematics-- Philosophy
رده :
QA9
.
65
.
K87
2011
385. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
386. Lattices and Ordered Algebraic Structures
پدیدآورنده : by T.S. Blyth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.
387. Learning and Geometry: Computational Approaches
پدیدآورنده : edited by David W. Kueker, Carl H. Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science.,Education.,Geometry.,Mathematics.
388. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
389. Logic, Algebra, and Computation :
پدیدآورنده : edited by Friedrich L. Bauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
390. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
391. Logic Functions and Equations
پدیدآورنده : \ Bernd Steinbach , Christian Posthoff
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic.,Computer science -- Mathematics. ,Combinatory logic.,منطق کامپیوتری ,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
392. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
393. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
394. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
395. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
396. Logic and Complexity
پدیدآورنده : by Richard Lassaigne, Michel Rougemont.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
397. Logic and Discrete Mathematics : A Concise Introduction
پدیدآورنده : / Conradie, Willem
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
398. Logic and Discrete Mathematics : A Concise Introduction, Solutions Manual
پدیدآورنده : / Conradie, Willem
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
399. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
